Dict(
	[15, 2, 20, 14, 20, 1, 1, 14, 1, 1] => QQFieldElem[9//128, 0, -9//128, 0])